xen: flask: Pass output directory as a parameter to mkflask.sh
authorIan Campbell <ian.campbell@citrix.com>
Wed, 20 May 2015 14:38:56 +0000 (15:38 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 21 May 2015 14:25:35 +0000 (15:25 +0100)
commitf06c84e0472b4a94883264432099b3858321c9bf
treeb9d5a85f31e0bc34d36e28c0f10f17a760da8c1c
parenta42eac01cbfc08df246a889de0d8aca19d75aca8
xen: flask: Pass output directory as a parameter to mkflask.sh

When called from the tools side in a later patch we will want to
direct its output to the appropriate place.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
xen/xsm/flask/Makefile
xen/xsm/flask/policy/mkflask.sh